|
In functional analysis and related areas of mathematics stereotype spaces are topological vector spaces defined by a special variant of reflexivity condition. They form a class of spaces with a series of remarkable properties, in particular, this class is very wide (for instance, it contains all Fréchet spaces and thus, all Banach spaces), it consists of spaces satisfying a natural condition of completeness, and it forms a closed monoidal category with the standard analytical tools for constructing new spaces, like taking closed subspace, quotient space, projective and injective limits, the space of operators, tensor products, etc. ==Definition== A stereotype space〔.〕 is a topological vector space over the field of complex numbers〔...or over the field of real numbers, with the similar definition.〕 such that the natural map into the second dual space : is an isomorphism of topological vector spaces (i.e. a linear and a homeomorphic map). Here the ''dual space'' is defined as the space of all linear continuous functionals endowed with the topology of uniform convergence on totally bounded sets in ''X'', and the ''second dual space'' is the space dual to in the same sense. The following criterion holds:〔 a topological vector space is stereotype if and only if it is locally convex and satisfies the following two conditions: : * ''pseudocompleteness'': each totally bounded Cauchy net in converges, : * : * ''pesudosaturateness'': each closed convex balanced ''capacious''〔A set is said to be ''capacious'' if for each totally bounded set there is a finite set such that .〕 set in is a neighborhood of zero in . The property of being pseudocomplete is a weakening of the usual notion of completeness, while the property of being pseudosaturated is a weakening of the notion of barreledness of a topological vector space. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「stereotype space」の詳細全文を読む スポンサード リンク
|